g:IMonoid, i, j:
.
(i < j)
(E:({i..j
}
|g|). (
i 
k < j. E(k)) = (( i k < j - 1. E(k)) * E(j - 1)) 
|g|) | 13,42 |
g:IMonoid, i, j:.
(E:({i..j}|g|). ( i k < j. E(k)) = (( i k < j - 1. E(k)) * E(j - 1)) |g|)
| Up | |
| Definitions of Statement | lb i < ub. E(i) |
| Definitions | lb i < ub. E(i) |
| Lemmas |